大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mathematical Software Symposium 的图书(共4258本)

FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings

0
索取号:TP311.52-532/E20021/1996
作者:
出版社:Berlin ; New York : Springer, 1996.

Representations of groups : Canadian Mathematical Society annual seminar, June 15-24, 1994, Banff, Alberta, Canada

0
索取号:O152-532/E992
作者:
出版社:Providence, R.I. : Published by the American Mathematical Society for the Canadian Mathematical Society, c1995.

Broadcasting enters the marketplace : proceedings of the 24th University of Manchester Broadcasting Symposium

0
索取号:G229.561/E992
作者:University of Manchester. Broadcasting Symposium (24th : 1993)、Miller、 Nod.、Allen、 Rod、 1943-、
出版社:London : Libbey, c1994.

TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings

0
索取号:TP3-53/E996/1995
作者:International Joint Conference on Theory and Practice of Software Development (6th : 1995 : Aarhus、 Denmark)、Mosses、 Peter.、Nielsen、 M. (Mogens)、 1949-、Schwartzbach、 Michael I.、Colloquium on Trees in Algebra and Programming (1995 : Aarhus、 Denmark)、Colloquium on Formal Approaches of Software Engineering (1995 : Aarhus、 Denmark)、
出版社:Berlin ; New York : Springer-Verlag, c1995.

Proceedings of the Symposium on Recent Advances in the Chemistry and Physics of Fullerenes and Related Materials

0
索取号:O623/E992
作者:
出版社:Pennington, NJ : Electrochemical Society, c1995.

Aquatic ecology : scale, pattern and process : the 34th Symposium of the British Ecological Society with the American Society of Limnology and Oceanography, University College, Cork 1992

0
索取号:Q178.1-532/E991/1992
作者:British Ecological Society. Symposium (34th : 1992 : University College、 Cork).、Giller、 Paul S.、Raffaelli、 D. G. (Dave G.)、Hildrew、 A. G.、American Society of Limnology and Oceanography.、
出版社:Oxford : Blackwell Scientific Pubn., c1994.

Problems of translation : an international symposium through correspondence on the linguistic problems of translation between Hindi and other major languages of the world / editors, G. Gopinathan, convenor and S. Kandaswamy = Anuvåada kåi samasyåaeïm : Hindåi tathåa viâsva kåi anya pramukha bhåashåaoòm ke paraspara anuvåada kåi bhåashåavaijänåanika samasyåaoòm para patråacåara dvåaråa antarråashòtråiya parisamvåada

0
索取号:H059/E9910
作者:
出版社:Allahabad : Lokbharati Prakashan for the Translators Forum, Dept. of Hindi, Calicut University, 1993.

16th International Conference on Software Engineering : May 16-21, 1994, Sorrento, Italy : [proceedings]

0
索取号:TP31-53/E803/16
作者:International Conference on Software Engineering (16th : 1994 : Sorrento、 Italy)、IEEE Computer Society. Software Engineering Technical Committee.、ACM Sigsoft.、Associazione italiana per l'informatica e il calcolo automatico.、
出版社:Los Alamitos, CA : IEEE Computer Society Press, c1994.

35th Annual Symposium on Foundations of Computer Science [electronic resource] : proceedings ; November 20-22, 1994, Santa Fe, New Mexico

0
索取号:TP3-53/E905/35
作者:Symposium on Foundations of Computer Science (35th : 1994 : Santa Fe、 N.M.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、IEEE Xplore (Online service)、
出版社:Los Alamitos, CA : IEEE Computer Society Press, c1994

The Eighteenth Annual International Computer Software & Applications Conference : Proceedings

0
索取号:TP31-53/E901/1994
作者:International Computer Software & Applications Conference (18th : 1994 : Taipei、 Taiwan)、The Institute of Electrical and Electronics Engineers.、IEEE Computer Society.、
出版社:Los Alamitos, California : IEEE Computer Society Press, c1994.

Application cases in MIS : using spreadsheet and database software

0
索取号:TP315/E991
作者:
出版社:Homewood, IL : Irwin, c1993.

Mathematical modelling skills

0
索取号:O141.4/E991
作者:Edwards、 Dilwyn、Hamson、 Michael.、
出版社:Houndmills, Basingstoke, Hampshire : Macmillan, 1996.

Advances in artificial intelligence : 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995 : proceedings

0
索取号:TP18-532/E9911/12
作者:Simpósio Brasileiro de Inteligência Artificial (12th : 1995 : Campina、 Brazil)、Wainer、 Jacques.、Carvalho、 Ariadne.、
出版社:Berlin ; New York : Springer-Verlag, c1995.

Isotonic transport in leaky epithelia : proceedings of the Alfred Benzon Symposium 34 held at the premises of the Royal Danish Academy of Sciences and Letters, Copenhagen, June 14-18, 1992

0
索取号:Q25-532/E991
作者:Alfred Benzon Symposium (34th : 1992 : Copenhagen、 Denmark)、Ussing、 H. H. (Hans H.)、 1911-、Alfred Benzon Foundation、
出版社:Copenhagen, Denmark : Munksgaard, c1993

Computers : the user perspective : with software laboratories

0
索取号:TP317/E993.3
作者:
出版社:Homewood, IL : Irwin, c1992

Large-scale C++ software design

0
索取号:TP312/E9933
作者:
出版社:Reading, Mass. : Addison-Wesley Pub. Co., c1996.
最近添加的分类